Bounded Arithmetic, Propositional Logic and Complexity Theory
by Jan Krajícek, G. -C. Rota (Contribution by), B. Doran (Contribution by), P. Flajolet (Contribution by), M. Ismail (Contribution by), T. Y. Lam (Contribution by), E. Lutwak (Contribution by), E. Wutwak (Contribution by)
